Control

• Conditionals
• Iteration
• Procedure application
• Sequencing
• Explicit return
  • Non-local exits
  • Returning multiple values
  
  
• Lazy evaluation